On Consistency of Encrypted Files Alina Oprea∗ Michael K. Reiter† March 2005

Source URL: www.cs.cmu.edu

• Data management
• Cryptographic software
• Special purpose file systems
• Concurrency control
• Consistency model
• File system
• Data integrity
• Linearizability
• Sequential consistency
• Computing
• Transaction processing
• Computer architecture